The subject area ‘Charts’ groups together those projects that study visual specification formalisms or charts. Visual formalisms promise to support the use of formal methods in the engineering process of (embedded) software systems by being high-level languages that are equipped with a formal semantics in the elementary formalisms like temporal logic or finite state machines. The use of chart l...

Over the last two decades the use of software in technical applications has dramatically increased. Almost all real-world systems are now embedded systems consisting of hardware and software components. Just think of modern automobiles; every new car comes equipped with computers that have many tasks in almost all parts of the car: fuel injection rates of the engine, airbags, anti-blocking syst...

A first preliminary remark will relate to the relevance of European Union education policies for both educationand teacher education studies. Education and training have become priorities of policies of the Council of the European Union within the framework of more comprehensive economic and social policies (cf. Lisbon process). Strategic objectives for the development of education and training...

If a convex body K in R is contained in a convex body L of elliptic type (a curvature image), then it is known that the affine surface area of K is not larger than the affine surface area of L. We prove that the affine surface areas of K and L can only be equal if K = L. 2010 Mathematics Subject Classification: primary 52A10; secondary 53A15